- preliminary lemma
- вспомогательная лемма
English-Russian scientific dictionary. 2008.
preliminary lemma
Смотреть что такое "preliminary lemma" в других словарях:
Lemma — Lem ma (l[e^]m m[.a]), n.; pl. L. {Lemmata} ( m[.a]*t[.a]), E. {Lemmas} ( m[.a]z). [L. lemma, Gr. lh^mma anything received, an assumption or premise taken for granted, fr. lamba nein to take, assume. Cf. {Syllable}.] 1. (Math., Logic) A… … The Collaborative International Dictionary of English
Zorn's lemma — /zawrnz/, Math. a theorem of set theory that if every totally ordered subset of a nonempty partially ordered set has an upper bound, then there is an element in the set such that the set contains no element greater than the specified given… … Universalium
Jacobi's formula — In matrix calculus, Jacobi s formula expresses the differential of the determinant of a matrix A in terms of the adjugate of A and the differential of A . The formula is: d , mbox{det} (A) = mbox{tr} (mbox{adj}(A) , dA).It is named after the… … Wikipedia
Lemmas — Lemma Lem ma (l[e^]m m[.a]), n.; pl. L. {Lemmata} ( m[.a]*t[.a]), E. {Lemmas} ( m[.a]z). [L. lemma, Gr. lh^mma anything received, an assumption or premise taken for granted, fr. lamba nein to take, assume. Cf. {Syllable}.] 1. (Math., Logic) A… … The Collaborative International Dictionary of English
Lemmata — Lemma Lem ma (l[e^]m m[.a]), n.; pl. L. {Lemmata} ( m[.a]*t[.a]), E. {Lemmas} ( m[.a]z). [L. lemma, Gr. lh^mma anything received, an assumption or premise taken for granted, fr. lamba nein to take, assume. Cf. {Syllable}.] 1. (Math., Logic) A… … The Collaborative International Dictionary of English
Philosophiæ Naturalis Principia Mathematica — Title page of Principia , first edition (1687) Original title … Wikipedia
Paracompact space — In mathematics, a paracompact space is a topological space in which every open cover admits a locally finite open refinement. Paracompact spaces are sometimes also required to be Hausdorff. Paracompact spaces were introduced by Dieudonné (1944).… … Wikipedia
Approximately finite dimensional C*-algebra — In C* algebras, an approximately finite dimensional, or AF, C* algebra is one that is the inductive limit of a sequence of finite dimensional C* algebras. Approximate finite dimensionality was first defined and described combinatorially by… … Wikipedia
Exact sciences (The) in Hellenistic times: texts and issues — The exact sciences in Hellenistic times: Texts and issues1 Alan C.Bowen Modern scholars often rely on the history of Greco Latin science2 as a backdrop and support for interpreting past philosophical thought. Their warrant is the practice… … History of philosophy
Parity of zero — Zero objects, divided into two equal groups Zero is an even number. In other words, its parity the quality of an integer being even or odd is even. Zero fits the definition of even number : it is an integer multiple of 2, namely 0 × 2. As a… … Wikipedia
Satricum — (1) (modern Le Ferriere, but formerly identified with Conca), an ancient town of Latium, situated some 60 km to the SE of Rome, in a low lying region to the south of the Alban Hills, to the NW of and at the border of the former Pomptine Marshes.… … Wikipedia
